1. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
پدیدآورنده : Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development
رده :
QA
76
.
L28
Vol
.
1708-1709
2. Formal methods and hybrid real-time systems
پدیدآورنده : Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
رده :
QA
،
76
.
9
،.
F67
,
F525
،
2007
3. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
پدیدآورنده : Jin Song Dong, Jim Woodcock )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2885
4. ICTAC 2010تTheoretical Aspects of Computing
پدیدآورنده : / Claude Gaudel, Jim Woodcock-Ana Cavalcanti, David Deharbe, Marie
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
5. ICTAC 2013تTheoretical Aspects of Computing
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
6. 3, 2010. Proceedings- ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1ع۰بTheoretical Aspects of Computing
پدیدآورنده : / Claude Gaudel, Jim Woodcock (eds.)-Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
7. Software engineering mathematics
پدیدآورنده : Woodcock, Jim
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Mathematics ، Software engineering
رده :
QA
76
.
758
.
W66
1988
8. Software engineering mathematics
پدیدآورنده : Jim Woodcock, Martin Loomes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Software engineering-- Mathematics.
9. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
10. Theories of Programming and Formal Methods
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
11. Unifying Theories of Programming and Formal Engineering Methods
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
12. Verified software
پدیدآورنده : [edited by]& Bertrand Meyer, Jim Woodcock
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
